Added isDevControllerClass so that XendDomainInfo does not need to store the same...

diff --git a/tools/python/xen/xend/server/controller.py b/tools/python/xen/xend/server/controller.py
index ab531789d80b7d3aa6ffc1dc8a6b47b70c5abff1..5a4f67cd5a884bd3d31d37a2efab10a6924ab017 100755 (executable)
--- a/tools/python/xen/xend/server/controller.py
+++ b/tools/python/xen/xend/server/controller.py
@@ -63,6 +63,13 @@ def addDevControllerClass(name, cls):
     cls.type = name
     getDevControllerTable().addDevControllerClass(cls)
 
+
+def isDevControllerClass(name):
+    """@return True if a device controller class has been registered with
+    the controller table under the given name."""
+    return name in getDevControllerTable().controllerClasses
+
+
 def createDevController(name, vm, recreate=False):
     return getDevControllerTable().createDevController(name, vm, recreate=recreate)